proof by contradiction example discrete math